Evaluating FTTT Protocol via PRISM, PRISM-symm and GRIP

Prism: Lightweight Filesystem Virtualization Via Selective Cloning

Suppose filesystems supported cloning of any subset of directories, even those containing gigabytes of data, almost instantaneously, while guaranteeing isolation between the original copy and the cloned copy. We show that this simple abstraction can greatly simplify many routine tasks, both for a single operating system and for clusters of similar virtual machines in a virtual server farm. In t...

Prism++ Documentation

Through a prism darkly: re-evaluating prisms and neglect.

Many studies have demonstrated that prism adaptation can reduce several symptoms of visual neglect: a disorder in which patients fail to respond to information in contralesional space. The dominant framework to explain these effects proposes that prisms influence higher order visuospatial processes by acting on brain circuits that control spatial attention and perception. However, studies that ...

Attention and prism adaptation.

For both lateral displacement and rotation of the visual field, visual adaptation was reduced when subjects were required to perform a secondary cognitive task simultaneously with the primary exposure task of walking about hallways. Interference appeared to be independent of walking rate and occurred when the cognitive task was either mental imagery or mental arithmetic. A tentative model is pr...

Probabilistic Analysis and Verification of the ASW Protocol using PRISM

The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the aid of a trusted third party in case of a dispute. In this paper, the key security objectives of ASW protocol — fairness, effectiveness and timeliness — have been verified using a probabilistic model checking tool, PRI...